invariant property

不变性质